$D$ realizes2 ${\it es}$.$P$(${\it es}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$w$:World, $p$:FairFifo. PossibleWorld($D$;$w$) $\Rightarrow$ $P$(ES($w$))